翻訳と辞書 Words near each other ・ Analytical psychology ・ Analytical quality control ・ Analytical regularization ・ Analytical Review ・ Analytical Sciences Digital Library ・ Analytical skill ・ Analytical Society ・ Analytical sociology ・ Analytical stereoplotter ・ Analytical technique ・ Analytical thermal desorption ・ Analytical Thomism ・ Analytically irreducible ring ・ Analytically normal ring ・ Analytically unramified ring ・ Analyticity of holomorphic functions ・ Analytics ・ Analytics (ice hockey) ・ Analytics.usa.gov ・ Analytic–synthetic distinction ・ Analytik Jena ・ AnalytiX DS ・ Analytization trick ・ Analytoceras ・ Analyze (imaging software) ・ Analyze That ・ Analyze This ・ Analyzing Intelligence ・ Analyzing Marx ・ Analândia Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Analyticity of holomorphic functions ： ウィキペディア英語版 Analyticity of holomorphic functions In complex analysis a complex-valued function ''ƒ'' of a complex variable ''z'': *is said to be holomorphic at a point ''a'' if it is differentiable at every point within some open disk centered at ''a'', and * is said to be analytic at ''a'' if in some open disk centered at ''a'' it can be expanded as a convergent power series ::$f(z)=\backslash sum\_^\backslash infty\; c\_n(z-a)^n$ :(this implies that the radius of convergence is positive). One of the most important theorems of complex analysis is that holomorphic functions are analytic. Among the corollaries of this theorem are * the identity theorem that two holomorphic functions that agree at every point of an infinite set ''S'' with an accumulation point inside the intersection of their domains also agree everywhere in every connected open subset of their domains that contains the set ''S'', and * the fact that, since power series are infinitely differentiable, so are holomorphic functions (this is in contrast to the case of real differentiable functions), and * the fact that the radius of convergence is always the distance from the center ''a'' to the nearest singularity; if there are no singularities (i.e., if ''ƒ'' is an entire function), then the radius of convergence is infinite. Strictly speaking, this is not a corollary of the theorem but rather a by-product of the proof. * no bump function on the complex plane can be entire. In particular, on any connected open subset of the complex plane, there can be no bump function defined on that set which is holomorphic on the set. This has important ramifications for the study of complex manifolds, as it precludes the use of partitions of unity. In contrast the partition of unity is a tool which can be used on any real manifold. == Proof == The argument, first given by Cauchy, hinges on Cauchy's integral formula and the power series development of the expression : $\backslash frac\; 1\; .$ Let ''D'' be an open disk centered at ''a'' and suppose ''ƒ'' is differentiable everywhere within an open neighborhood containing the closure of ''D''. Let ''C'' be the positively oriented (i.e., counterclockwise) circle which is the boundary of ''D'' and ''z'' a point in ''D''. Starting with Cauchy's integral formula, we have : & \,\mathrmw \\() &\cdotw \\() &\cdot\right)^n} f(w)\,\mathrmw \\() &\int_C w.\end Interchange of the integral and infinite sum is justified by observing that $f(w)/(w-a)$ is bounded on ''C'' by some positive number ''M'', while for all ''w'' in ''C'' : for some positive ''r'' as well. We therefore have : $\backslash left|\; f(w)\; \backslash right|\; \backslash le\; Mr^n,$ on ''C'', and as the Weierstrass M-test shows the series converges uniformly, the sum and the integral may be interchanged. As the factor (''z'' − ''a'')''n'' does not depend on the variable of integration ''w'', it may be factored out to yield : $f(z)=\backslash sum\_^\backslash infty\; (z-a)^n\; \backslash int\_C\; w,$ which has the desired form of a power series in ''z'': : $f(z)=\backslash sum\_^\backslash infty\; c\_n(z-a)^n$ with coefficients : $c\_n=\backslash int\_C\; w.$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Analyticity of holomorphic functions」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.